// Catalog
var toc = document.getElementById('toc')

if (toc != null) {
  window.addEventListener("scroll", scrollcatelogHandler);
  var tocPosition = toc.offsetTop;
  var height_header = $("#signature").height();

  function scrollcatelogHandler(e) {
    var event = e || window.event,
      target = event.target || event.srcElement;
    var scrollTop = document.documentElement.scrollTop || document.body.scrollTop;
    if (scrollTop > tocPosition - 60) {
      toc.classList.add("toc-fixed");
    } else {
      toc.classList.remove("toc-fixed");
    }
  }
}